Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
111	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: www.mizar.org Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
112	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-02 06:25:32 Logic Mathematical logic Automated theorem proving Mathematics Mathematical proofs Proof assistants Logical truth Proof theory Isabelle First-order logic Automated reasoning Theorem
113	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation
114	J. Cryptol: 116–135 DOI: s00145x Parallel Repetition of Computationally Sound Protocols Revisited∗ Krzysztof Pietrzak Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 09:00:34 Complexity classes Cryptography Computational complexity theory Proof of knowledge IP Quantum complexity theory Soundness NP Commitment scheme PSPACE PP Security parameter
115	Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Type theory Parametricity Polymorphism Ordinal number Constructible universe Functional programming Proof theory CurryHoward correspondence Net
116	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-06-15 11:37:40 Model theory Automated theorem proving Resolution First-order logic IP Interpretation
117	Deligne’s Proof of the Weil-conjecture Prof. Dr. Uwe Jannsen Winter TermInhaltsverzeichnis 0 Introduction Add to Reading List Source URL: www.mathematik.uni-regensburg.de Language: English Conjectures Algebraic geometry Homological algebra Analytic number theory Cohomology theories tale cohomology Elliptic curve Cohomology Divisor RamanujanPetersson conjecture Riemann hypothesis Galois module
118	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-07-07 05:51:55 Functional analysis Computational complexity theory Cryptography Distribution Proof of knowledge IP Zero-knowledge proof
119	DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir, Ewen Denney† and Bernd Fischer * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof Theorem Natural deduction Automated reasoning Formal methods Formal proof Automated theorem proving Argument KeY Sequent First-order logic
120	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory

UPDATE